(declare-fun a () (Array Int Int))
(declare-fun c () Int)
(declare-fun b () Int)
(declare-fun e () Int)
(declare-fun d () Int)
(declare-fun k () Int)
(declare-fun l () Int)
(declare-fun f () Int)
(declare-fun m () Int)
(declare-fun g ((Array Int Int) (Array Int Int)) Int)
(assert (let ((h (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store a 1 1) 2 2) 3 3) 4 4) 5 5) 6 6) 7 7) 8 8) 9 9) 10 c) 1 1) 2 2) 3 3) 4 4) 5 5) 6 6) 7 7) 8 8) 9 9) 1 1))(i (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store a 18 8) 10 c) 3 3) 7 7) 1 1) 1 1) 7 7) 5 5) 9 9) 9 9) 6 6) 2 2) 0 l) 4 f) 15 k) 8 m) 2 b) 4 d) 13 e) 6 6))) (let ((j (g h i))) (distinct (h j) (i j)))))
(check-sat)
